3141. Web services and formal methods :
پدیدآورنده : Marco Carbone, Jean-Marc Petit (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
3142. What kind of information society? Governance, virtuality, surveillance, sustainability, resilience
پدیدآورنده : / Jacques Berleur, Magda David Hercheui, Lorenz M. Hilty (Eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer science, Congresses,Information society, Congresses
رده :
E-BOOK
3143. Wireless and Satellite Systems
پدیدآورنده : \ [Edited by] Prashant Pillai...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Computer networks,کامپیوتر,شبکه‌های کامپیوتری,a04,a05,a04,a05,Wireless communication systems -- Congresses,ارتباطات بی‌سیم -- کنگره‌ها
رده :
TK
5103
.
2
.
W57
2015
E-Book
,
3144. Wissensbasierte Systeme.
پدیدآورنده : Wilfried Brauer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.
3145. Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Natural language processing )Computer science(-- Congresses,، Group theory-- Congresses
رده :
QA
76
.
9
.
N38
.
I94
1991
3146. Word equations and related topics : Second International Workshop, IWWERT'91, Rouen, France, October 7-9, 1991 : proceedings
پدیدآورنده : Habib Abdulrab, Jean-Pierre Pecuchet, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Group theory
رده :
QA
76
.
L28
Vol
.
677
3147. Word equations and related topics: 1st International Workshop, IWWERT '90, Tubingen, Germany, October1-3, 1990: proceedings
پدیدآورنده : K.U. Schulz )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Group theory
رده :
QA
76
.
L28
Vol
.
572
3148. Word equations and related topics : 1st international workshop, IWWERT '90, Tubingen, Germany, October 1-3, 1990 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Natural language processing )Computer science(-- Congresses,، Group theory-- Congresses
رده :
QA
76
.
9
.
N38
.
I94
1990
3149. Workshop on Chaos and Complexity : Torino, october 5-11, 1987
پدیدآورنده : editors R. Livi...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Differentiable dynamical systems,Congresses ، Cellular automata,Congresses ، Neural networks )Computer science(
رده :
QA
614
.
8
.
W665
1987
3150. XPS'99 : Knowledge-based systems : survey and future decisions : 5th biannual German Conference on Knowledge-Based Systems, Wurzburg, Germany, March 1999 : proceedings
پدیدآورنده : Frank Puppe )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1570
3151. based cryptography :-Code
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Data encryption (Computer science) ; Congresses. ;
3152. based distributed systems-Formal methods for open object
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : oriented programming (Computer science) ; Congresses. ; -Electronic data processing ; Distributed processing ; Congresses. ; Object
3153. based reasoning :-Advances in case
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : based reasoning ; Congresses ; -Expert systems (Computer science) ; Congresses ; Case
3154. based reasoning-Advances in case
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : based reasoning ; Congresses. ; -Expert systems (Computer science) ; Congresses. ; Case
3155. based reasoning research and development-Case
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : based reasoning ; Congresses. ; Artificial Intelligence ; Congresses. ; -Expert systems (Computer science) ; Congresses. ; Case
3156. based safety and assessment :-Model
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Congresses. ;
3157. based software engineering :-Search
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Congresses. ;
3158. based systems :-Information processing and management of uncertainty in knowledge
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Expert systems (Computer science) ; Congresses. ;
3159. based systems :-Information processing and management of uncertainty in knowledge
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Expert systems (Computer science) ; Congresses. ;
